Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

MSM: rename LIMBS_NUM in N_LIMBS #1894

Merged
merged 3 commits into from
Mar 5, 2024
Merged

MSM: rename LIMBS_NUM in N_LIMBS #1894

merged 3 commits into from
Mar 5, 2024

Conversation

dannywillems
Copy link
Member

Fix #1889

Base automatically changed from dw/msm-serialization-move-to-interpreter to master March 5, 2024 15:10
@dannywillems
Copy link
Member Author

I will merge master after #1839 is merged, otherwise there will be more conflicts to solve.

@dannywillems dannywillems merged commit d8e8236 into master Mar 5, 2024
4 checks passed
@dannywillems dannywillems deleted the dw/msm-serialization-rename-var branch March 5, 2024 16:56
@dannywillems dannywillems added the enhancement New feature or request label Mar 7, 2024
@dannywillems dannywillems self-assigned this Mar 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@querolita querolita querolita approved these changes

@volhovm volhovm Awaiting requested review from volhovm

Assignees

@dannywillems dannywillems

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Rename LIMBS_NUM into N_LIMBS?
2 participants
@dannywillems @querolita